Fix previous change
authorGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 16:59:24 +0000 (08:59 -0800)
committerGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 16:59:24 +0000 (08:59 -0800)
commit4fb4fcd6b30a4b72eae75436fc20674f040a6980
treebebe46bfe963d4a10a83908925684e31163ded62
parenta4b8dfd8dace17608fe90e61589356aeae2e77ea
Fix previous change
doc/misc/org.texi